Towards an Event Modeling Language

نویسندگان

  • Maurice Castro
  • Michael Dwyer
  • Geo Wong
چکیده

Object-oriented programming owes part of its popularity to Booch's notation 2], Rumbaugh's OMT 7], and UML 8]. These notations allow object oriented designs to be expressed graphically and furthermore have enabled the development of case tools for object oriented languages. The lack of a suitable high level graphical notation has been identiied as one of the factors discouraging the uptake of functional programming and in particular the language Erlang 1]. This paper represents a rst step in designing a graphical modeling language for functional programming that encourages sound programming practices. The initial target language is Erlang but it is hoped that the notation can be extended to other functional languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Towards OCL/RT

An extension of the “Object Constraint Language” (OCL) for modeling real-time and reactive systems in the “Unified Modeling Language” (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by satisfaction operators @η for referring to the v...

متن کامل

Towards an Event Modeling LanguageMaurice

Object-oriented programming owes part of its popularity to Booch's notation [2], Rumbaugh's OMT [7], and UML [8]. These notations allow object oriented designs to be expressed graphically and furthermore have enabled the development of case tools for object oriented languages. The lack of a suitable high level graphical notation has been identi ed as one of the factors discouraging the uptake o...

متن کامل

Towards a Component Based Conceptual Modeling Language for Discrete Event Simulation

Recent studies state the importance of conceptual modeling in simulation life cycles. Proper development of a conceptual model is critical for expressing the context, elements, relationships, limitations and purpose of the simulation study. Surprisingly there are many simulation projects that have no explicit conceptual model, a poorly or only partially developed conceptual model, or incomplete...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007